$\forall$${\it es}$:ES. es{-}M(${\it es}$) $\in$ IdLnk$\rightarrow$Id$\rightarrow$Type